From Abstract to Concrete Norms in Agent Institutions (October 1, 2004)
Author: Grossi, Davide; Dignum, Fran
Subject: VIBRATION TESTS; ACCELEROMETERS; THERMAL PROTECTION; TILES; GROUND TESTS; FREQUENCY RESPONSE; COMPOSITE STRUCTURES; DYNAMIC RESPONSE; FREQUENCIES; FOAMS
Year: 2004
Language: English
Book contributor: NASA
Collection: nasa_techdocs
Description
Norms specifying constraints over institutions are stated in such a form that allows them to regulate a wide range of situations over time without need for modification. To guarantee this stability, the formulation of norms need to abstract from a variety of concrete aspects, which are instead relevant for the actual operationalization of institutions. If agent institutions are to be built, which comply with a set of abstract requirements, how can those requirements be translated in more concrete constraints the impact of which can be described directly in the institution In this work we make use of logical methods in order to provide a formal characterization of the translation rules that operate the connection between abstract and concrete norms. On the basis of this characterization, a comprehensive formalization of the notion of institution is also provided.
Creative Commons license: Public Domain
Selected metadata
| Identifier: | nasa_techdoc_20050137702 |
| Document-source: | CASI |
| Documentid: | 20050137702 |
| Nasa-center: | Goddard Space Flight Center |
| Online-source: | http://wayback.archive-it.org/1792/20100127194632/http://hdl.handle.net/2060/20050137702 |
| Original-nasa-rights: | Unclassified; Copyright (Distribution as joint owner in the copyright) ; Unlimited; Publicly available; |
| Updated-added-to-ntrs: | 2009-07-29 |
| Licenseurl: | http://creativecommons.org/licenses/publicdomain/ |
| Mediatype: | texts |
| Rights: | Public Domain |
| Identifier-access: | http://www.archive.org/details/nasa_techdoc_20050137702 |
| Identifier-ark: | ark:/13960/t22b9wz7h |
| Ppi: | 300 |
| Ocr: | ABBYY FineReader 8.0 |